1. 2, 2011, Revised Selected Papers-Ferrand, France, September 1-FM 2011, Clermont-Web Services and Formal Methods: 8th International Workshop, WS
پدیدآورنده : / Marc Petit (eds.)-Kohei Honda (auth.), Marco Carbone, Jean
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
